Section: Dissemination
Animation of the scientific community
Note: In this section we include only the activities of the permanent internal members of Comète.
Editorial activity
Catuscia Palamidessi is:
Member of the Editorial Board of Mathematical Structures in Computer Science , published by the Cambridge University Press.
Member of the Editorial Board of the Electronic Notes of Theoretical Computer Science , Elsevier Science.
Co-editor (with Frank Pfenning) of the special issue of Logical Methods in Computer Science dedicated to selected papers of FoSSaCS 2013.
Co-editor (with Geoffrey Smith) of the special issue of Mathematical Structures in Computer Science dedicated to Quantitative Information Flow.
Co-editor (with Samson Abramsky and Michael Mislove) of the special issue of Theoretical Computer Science dedicated to selected papers of MFPS XXV. [33]
Co-editor (with Sebastian Mödersheim) of the proceedings of TOSCA 2011 , Theory of Security and Applications. [34]
Co-editor (with Mark Ryan) of the proceedings of TGC 2012, Trustworthy Global Computing. [35]
Frank D. Valencia is:
Co-editor of the special issue of Mathematical Structures in Computer Science dedicated to the 18th International Workshop on Expressiveness in Concurrency.
Co-editor of the special issue of Mathematical Structures in Computer Science dedicated to the 17th International Workshop on Expressiveness in Concurrency.
Konstantinos Chatzikokolakis and Catuscia Palamidessi are:
Co-editors (with Sebastian Mödersheim) of the special issue of the Journal of Computer Security dedicated to selected papers of TOSCA 2011 and SecCo 2011 .
Steering Committees
Catuscia Palamidessi is member of:
The Council of EATCS , the European Association for Theoretical Computer Science. Since 2005.
The Steering Committee of ETAPS , the European Joint Conferences on Theory and Practice of Software. Since 2006.
The IFIP Technical Committee 1 – Foundations of Computer Science. Since 2007.
The IFIP Working Group 2.2 – Formal Description of Programming Concepts. Since 2001.
The IFIP Working Group 1.7 – Theoretical Foundations of Security Analysis and Design. Since 2010.
Frank D. Valencia member of:
Invited Talks
Catuscia Palamidessi has given invited talks at the following conferences and workshops:
Grande Region Security and Reliability Day . Nancy, France. March 2012.
COW 2012 . The 19th CREST Open Workshop on Interference and Dependence on 30st April - 1st May 2012.
VECoS 2012 . 6th International Workshop on Verification and Evaluation of Computer and Communication Systems. CNAM, Paris, France. August 27-28, 2012.
Organization of workshops and conferences
Catuscia Palamidessi has served as PC co-chair (together with Mark Ryan) of TGC 2012 , the 7th International Symposium on Trustworthy Global Computing. Newcastle, UK, 7-8 September 2012.
Catuscia Palamidessi has co-organized (together with Boris Köpf and Pasquale Malacaria) the Dagstuhl seminar on Quantitative Security Analysis . Dagstuhl, Germany, 25-30 November 2012.
Participation in program committees
Catuscia Palamidessi has been/is a member of the program committees of the following conferences:
TGC 2013 . The 8th International Symposium on Trustworthy Global Computing. Buenos Aires, Argentina, 30-31 August 2013.
ICALP 2013 Track B. The 40th International Colloquium on Automata, Languages and Programming. Riga, Latvia, 8-12 July 2013.
CSF 2013 . The 26th IEEE Computer Security Foundations Symposium. Tulane University, New Orleans, Louisiana, USA, 26-28 June 2013.
LICS 2013 . The Twenty-Eighth Annual ACM/IEEE Symposium on Logic in Computer Science. Tulane University, New Orleans, Louisiana, USA, 25-28 June 2013.
FOSSACS 2013 . The 16th Int.l Conf. on Foundations of Software Science and Computation Structures. (Part of ETAPS 2013.) Rome, Italy, March 2013.
SOFSEM 2013 . 39th International Conference on Current Trends in Theory and Practice of Computer Science. Špindlerův Mlýn, Czech Republic, January 26–31, 2013.
CARDIS 2012 . The Eleventh Smart Card Research and Advanced Application Conference. Graz, Austria, 28-30 November 2012.
QEST 2012 . International Conference on Quantitative Evaluation of SysTems. London, UK, September 2012.
PPDP 2012 . International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming. Leuven, Belgium, September 2012.
CONCUR 2012 . 21st International Conference on Concurrency Theory. Newcastle, UK, September 2012.
CSF 2012 . The 25th IEEE Computer Security Foundations Symposium. Cambridge MA, USA, June 2012.
POST 2012 . First Conference on Principles of Security and Trust. Tallin, Estonia, March 2012.
Frank D. Valencia has been/is a member of the program committees of the following conferences and workshops:
CONCUR 2013 . The 24th International Conference on Concurrency Theory. Buenos Aires, Argentina, 27-30 August 2013.
EXPRESS 2012 : Combined 19th International Workshop on Expressiveness in Concurrency and 9th Workshop on Structural Operational Semantics. Newcastle upon Tyne, UK, 3 September 2012.
ICE 2012 . The 5th International Workshop on Interaction and Concurrency Experience. Stockholm, Sweden, 16 June 2012.
Konstantinos Chatzikokolakis has been/is a member of the program committees of the following conferences and workshops:
ISPEC 2013 : 9th International Conference on Information Security Practice and Experience.
QAPL 2013 : 11th Workshop on Quantitative Aspects of Programming Languages.
ESOP 2012 : 21th European Symposium on Programming.
TGC 2012 : 7th International Symposium on Trustworthy Global Computing.
ISPEC 2012 : 8th International Conference on Information Security Practice and Experience.
QAPL 2012 : 10th Workshop on Quantitative Aspects of Programming Languages .
Participation in other committees
Catuscia Palamidessi serves in the following committees:
President of the selection committee for the EATCS Best Paper Award at the ETAPS conferences. Since 2006.
Member of the EAPLS PhD Award committee. Since 2010.
Organization of seminars
Frank D. Valencia, Luis Fernando Pino Duque, and Andrés Aristizábal are the organizer of the Comète-Parsifal Seminar . This seminar takes place weekly at LIX, and it is meant as a forum where the members of Comète and Parsifal present their current works and exchange ideas.